Requirements Engineering

Requirements Engineering (RE) aims to ensure that systems meet the needs of their stakeholders including users, sponsors, and customers. Often consid- ered as one of the earliest activities in software engineering, it has developed into a set of activities that touch almost every step of the software development process. In this chapter, we reflect on how the need for RE was first recognised and how its foundational concepts were developed. We present the seminal papers on four main activities of the RE process, namely (i) elicitation, (ii) modelling & analysis, (iii) as- surance, and (iv) management & evolution. We also discuss some current research challenges in the area, including security requirements engineering as well as RE for mobile and ubiquitous computing. Finally, we identify some open challenges and research gaps that require further exploration

How did you specify your test suite.

Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and concise in daily use, feature a precise semantics, and of course, it has to facilitate suitable engines to compute test suites and assess the coverage achieved by a test suite. This paper introduces the language FQL designed to fit these purposes. We achieve the necessary expressive power by a natural extension of regular expressions which matches test suites rather than individual executions. To evaluate the language, we show for a list of informal requirements how to express them in FQL. Moreover, we present a test case generation engine for C programs and perform practical experiments with the sample specifications. © 2010 ACM

Mangrove ecosystems under climate change

This chapter assesses the response of mangrove ecosystems to possible outcomes of climate change, with regard to the following categories: (i) distribution, diversity, and community composition, (ii) physiology of flora and fauna, (iii) water budget, (iv) productivity and remineralization, (v) carbon storage in biomass and sediments, and (vi) the filter function for elements beneficial or harmful to life. These categories are then used to identify the regions most vulnerable to climate change. The four most important factors determining the response of mangrove ecosystems to climate change are sea level rise, an increase in frequency and/or intensity of storms, increases in temperature, and aridity. While these changes may be beneficial for some mangrove forests at latitudinal distribution limits, they will threaten forest structure and functions and related ecosystem services in most cases. The interaction of climate change with human interventions is discussed, as well as the effects on ecosystem services including possible adaptation and management options. The chapter closes with an outlook on knowledge gaps and priority research needed to fill these gaps